41. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
المؤلف: G.V. Bochmann, D.K. Probst )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
663
42. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
رده :
QA
76
.
76
.
E93
.
C38
1993
43. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
المؤلف: G. v. Bochmann, D.K. Probst, eds
المکتبة: (طهران)
موضوع: Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
44. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
المؤلف: Warren A. Hunt, Jr., Fabio Somenzi )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
45. Computer aided verification : 3rd international workshop, CAV'91, Alborg, Denmark, 1991 :proceedings
المؤلف: K.G. Larsen, A. Skou, eds
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
575
46. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
المؤلف: Rajeev Alur, Doron A. Peled )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
47. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
المؤلف: E. Allen Emerson, A. Prasad Sistla )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1855
48. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
المؤلف: Ed Brinksma, Kim Guldstrand Larsen )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2404
49. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
المؤلف: Kousha Etessami, Sriram K. Rajamani )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
50. Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings
المؤلف: Costas Courcoubetis )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
697
51. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
المؤلف: Orna Grumberg )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1254
52. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
المؤلف: Rajeev Alur, Thomas A. Henzinger
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102
53. Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings
المؤلف: David L. Dill, ed
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
818
54. Computer-aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999
المؤلف: Nicolas Halbwaches, Doron Peled )Eds.(
المکتبة: (طهران)
موضوع: Evaluation -- Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1633
55. Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
المؤلف: Alan J. Hu, Moshe Y. Vardi )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1427
56. Computer algebra: EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Algebra-- Congresses
رده :
QA
76
.
6
.
E81
1982
57. Computer architecture and networks
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: ، Digital computer simulation - Congresses,، electronic digital computers - Evalation Cogress,، Computer networks - Congresses
رده :
QA
76
.
5
.
C6125
58. Computer architecture; conference proceedings, the 7th Annual Symposium on Computer Architecture. Sponsored by the IEEE Computer Society and the Association for Computing Machinery, May 6-8, 1980
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
5
.
S965
1980
59. Computer architectures and networks : modelling and evaluation : proceedings of an International Workshop
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Digital computer simulation-- Congresses,، Electronic digital computers-- Evaluation-- Congresses,، Computer networks-- Congresses
رده :
QA
76
.
5
.
C612553
60. Computer assisted radiology :
المؤلف: edited by/Herausgegeben von H.U. Lemke [and others] ; organizer/Organisator, H.U. Lemke.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Diagnostic imaging -- Data processing -- Congresses.,Diagnostic imaging -- Digital techniques -- Congresses.,Radiology Information Systems.
